class PseudoList
feature
    get alias "[]" (s : INTEGER) : INTEGER
    do
        Result:=4
    end
    set alias "[]:=" (s : INTEGER; d : INTEGER)
    do
        std_output.put_string("PUT%N")
    end
end

class Test

end

class APP
feature
    INIT
    local 
        list : PseudoList; a : Test
    do 
        list[2]:=list[0]
        list[2]:=list[a]
    end
end